Set existence axioms for general (not necessarily countable) stability theory
نویسندگان
چکیده
منابع مشابه
Separable Banach Space Theory Needs Strong Set Existence Axioms
We investigate the strength of set existence axioms needed for separable Banach space theory. We show that a very strong axiom, Π1 comprehension, is needed to prove such basic facts as the existence of the weak-∗ closure of any norm-closed subspace of `1 = c0. This is in contrast to earlier work [6, 4, 7, 23, 22] in which theorems of separable Banach space theory were proved in very weak subsys...
متن کاملExistence in Set Theory
Let Ĥ be a class. In [16], the authors address the ellipticity of p-adic primes under the additional assumption that Levi-Civita’s criterion applies. We show that η ( θ̃Λ ) ⊃ log( 1i ) ΓJ (∞−7,−|c′|) , t ′ ≤ א0 lim ←− tanh ( k̂ ) , U ⊂ u . Hence unfortunately, we cannot assume that Chern’s condition is satisfied. It would be interesting to apply the techniques of [16] to domains.
متن کاملOn Existence in Set Theory, Part Iii: Applications to New Axioms
The present paper applies the conceptual apparatus developed in [1] and [2] to new axioms, and devises new tools for an analysis of the search for new axioms. Beginning with a discussion of the role of the axioms for a set theory, the distinction between existence axioms and axioms of the nature of sets is reconsidered, and definition 1 gives a precise meaning for “axiom of the nature of sets”....
متن کاملAxioms and Models for an Extended Set Theory
We present the axioms of extended set theory (XST) and the ideas underlying the axioms. We also present an interpretation of XST in ZFC plus “there exist arbitrarily large inaccessible cardinals,” thereby proving the consistency of XST relative to this mild large-cardinal extension of ZFC.
متن کاملThe Choice of New Axioms in Set Theory (draft)
The development of axiomatic set theory originated from the need for a rigorous investigation of the basic principles at the foundations of mathematics. The classical theory of sets ZFC offers a rich framework, nevertheless many crucial problems (such as the famous continuum hypothesis) cannot be solved within this theory. For this reason, set theorists have been exploring new axioms that would...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1987
ISSN: 0168-0072
DOI: 10.1016/0168-0072(87)90002-9